Dr
Christine Rizkallah
Senior Lecturer in Software Engineering
School of Computing and Information Systems
Software Verification
Programming Languages
Formal Methods
Interactive Theorem Proving
Trustworthy Systems
Verified Compilers
Security
Logic
Algorithms